#include<stdio.h>

void printf1();
